\infocom\interpreters\winfrotz\winfrotz \infocom\$\$.%